Quotients of Interval Effect Algebras
نویسنده
چکیده
Nearly every orthostructure that ha革 been propos磁盘s a model for a logic of 尹ropositions a伍li在ted with a phys沁al 巧slem can be represented as an interval effi苦ct algebra; t如at is, as the p革rtial algeb稳稳nder addition of an ìnt在rval from zero 10 an order unìt i挂在苦硝ially order时 Ab母lian gro辑p. If the sySlem ìs in a state that precludes ce戎ain elements of such an interval, an appropria毛e quotienl ìnlerval algebra can beωnstructed by fac沁rin嚣。ut the order-convex subgroup generated by the 萨宅c1uded elements. In t如is paper we 1在unch a study of the f茸sulting quotient effect algebras.
منابع مشابه
On nuclei of sup-$Sigma$-algebras
In this paper, algebraic investigations on sup-$Sigma$-algebras are presented. A representation theorem for sup-$Sigma$-algebras in terms of nuclei and quotients is obtained. Consequently, the relationship between the congruence lattice of a sup-$Sigma$-algebra and the lattice of its nuclei is fully developed.
متن کاملCongruences and Ideals in Lattice Effect Algebras as Basic Algebras
Effect basic algebras (which correspond to lattice ordered effect algebras) are studied. Their ideals are characterized (in the language of basic algebras) and one-to-one correspondence between ideals and congruences is shown. Conditions under which the quotients are OMLs or MV-algebras are found.
متن کاملAlgebras of Quotients of Path Algebras
Leavitt path algebras are shown to be algebras of right quotients of their corresponding path algebras. Using this fact we obtain maximal algebras of right quotients from those (Leavitt) path algebras whose associated graph satisfies that every vertex connects to a line point (equivalently, the Leavitt path algebra has essential socle). We also introduce and characterize the algebraic counterpa...
متن کاملAlgebras of Quotients of Leavitt Path Algebras
We start this paper by showing that the Leavitt path algebra of a (row-finite) graph is an algebra of quotients of the corresponding path algebra. The path algebra is semiprime if and only if whenever there is a path connecting two vertices, there is another one in the opposite direction. Semiprimeness is studied because, for acyclic graphs, the Leavitt path algebra is a Fountain-Gould algebra ...
متن کاملQUANTALE-VALUED SUP-ALGEBRAS
Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...
متن کامل